1

A system of interaction and structure

Year:
2007
Language:
english
File:
PDF, 931 KB
english, 2007
3

On structuring proof search for first order linear logic

Year:
2006
Language:
english
File:
PDF, 1.33 MB
english, 2006
4

Personal portrait of Giorgio Levi

Year:
2009
Language:
english
File:
PDF, 196 KB
english, 2009
7

On the proof complexity of deep inference

Year:
2009
Language:
english
File:
PDF, 369 KB
english, 2009
8

A system of interaction and structure IV

Year:
2011
Language:
english
File:
PDF, 1.44 MB
english, 2011
11

Subatomic Proof Systems

Year:
2018
Language:
english
File:
PDF, 859 KB
english, 2018